The jump from brute-forcing row combinations to rule-based pruning is the key insight here. Encoding the same local constraints a human uses before branching is a nice example of making the search space tractable. For anyone who wants to try those rules interactively, https://www.binarypuzzle.space/ is a handy place to work through binary grids.
The jump from brute-forcing row combinations to rule-based pruning is the key insight here. Encoding the same local constraints a human uses before branching is a nice example of making the search space tractable. For anyone who wants to try those rules interactively, https://www.binarypuzzle.space/ is a handy place to work through binary grids.